- reference checking
- HR. проверка рекомендаций
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Wikipedia:Reference desk/Computing — The Wikipedia Reference Desk covering the topic of computing. Computing #eee #f5f5f5 #eee #aaa #aaa #aaa #00f #36b #000 #00f computing Wikipedia:Reference de … Wikipedia
Olfactory Reference Syndrome — (ORS) (also referred to as Autodysomophobia[1]) is a psychiatric condition in which the affected person is excessively preoccupied by the concern that one s body odor is foul or unpleasant. This disorder is often accompanied by shame,… … Wikipedia
OSI Reference Model — A networking reference model defined by the ISO (International Organization for Standardization) that divides computer to computer communications into seven connected layers. Such layers are known as a protocol stack. Each successively… … Dictionary of networking
Competency-based recruitment — The introduction of Competency based management (CBM) provides organizations with a unique opportunity to create and shape a recruitment and selection system based competencies that job experts within the organization have identified as being… … Wikipedia
Cochrane Library — The Cochrane Library (named after Archie Cochrane) is a collection of databases in medicine and other healthcare specialties provided by the Cochrane Collaboration and other organisations. At its core is the collection of Cochrane Reviews, a… … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Comparison of Java and C++ — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… … Wikipedia
Comparison of programming languages — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia